On Testing Partially Specified IOTS through Lossless Queues
نویسندگان
چکیده
In this paper, we discuss how to test partially specified IOTS through lossless queues. A liberal assumption is made of the IOTS model by allowing both blocked and unspecified input actions. For testing IOTS through unbounded queues, we demonstrate that test cases can directly be derived from the specification when the transition coverage criterion is used, and we provide two test derivation algorithms, for fully specified and partially specified IOTS, respectively. Applying the derived tests to test IOTS through bounded queues is
منابع مشابه
Implementation Relations for Testing Through Asynchronous Channels
This paper concerns testing from an input output transition system (IOTS) model of a system under test that interacts with its environment through asynchronous first in first out (FIFO) channels. It explores methods for analysing an IOTS without modelling the channels. If IOTS M produces sequence σ then, since communications are asynchronous, output can be delayed and so a different sequence mi...
متن کاملScalable POMDPs for Diagnosis and Planning in Intelligent Tutoring Systems
A promising application area for proactive assistant agents is automated tutoring and training. Intelligent tutoring systems (ITSs) assist tutors and tutees by automating diagnosis and adaptive tutoring. These tasks are well modeled by a partially observable Markov decision process (POMDP) since it accounts for the uncertainty inherent in diagnosis. However, an important aspect of making POMDP ...
متن کاملThe complexity of asynchronous model based testing
In model based testing (MBT), testing is based on a model M that typically is expressed using a state-based language such as an input output transition system (IOTS). Most approaches to MBT assume that communications between the system under test (SUT) and its environment are synchronous. However, many systems interact with their environment through asynchronous channels and the presence of suc...
متن کاملTeaching Security of Internet of Things in Using RaspberryPi
The Internet of Things (IoTs) is becoming a reality in today’s society. The IoTs can find its application in multiple domains including healthcare, critical infrastructure, transportation, and home and personal use. It is important to teach students importance and techniques that are essential in protecting IoTs. We design a series of hands-on labs in a smart home setting, which can exercise at...
متن کاملInformation-Centric Networking based Caching and Naming Schemes for Internet of Things: A Survey and Future Research Directions
Information-Centric Networking (ICN) is being realized as a promising approach to accomplish the shortcomings of current IP-address based networking. ICN models are based on naming the content to get rid of address-space scarcity, accessing the content via name-based-routing, caching the content at intermediate nodes to provide reliable, efficient data delivery and self-certifying contents to e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004